HAS SORTING Configuration numBE = 15 numOCy = 5 hVal = 56805661 [3](11 1 12)[3](9 7 13)[3](10 2 14)[3](0 5 3)[3](4 8 6) 0: a = 1 b = 4 c = 11 move_type = 0 Configuration numBE = 15 numOCy = 5 hVal = 928126661 [1](8)[3](6 4 13)[3](7 9 14)[3](0 2 10)[5](11 5 3 1 12) 1: a = 7 b = 9 c = 14 move_type = 2 Configuration numBE = 15 numOCy = 7 hVal = 541932159 [1](13)[3](6 4 11)[1](7)[3](0 2 8)[5](9 5 3 1 10)[1](14)[1](12) 2: a = 0 b = 2 c = 8 move_type = 2 Configuration numBE = 15 numOCy = 9 hVal = 956191279 [1](13)[3](4 2 11)[1](5)[1](0)[5](9 3 1 7 10)[1](14)[1](12)[1](8)[1](6) 3: a = 1 b = 7 c = 10 move_type = 2 Configuration numBE = 15 numOCy = 11 hVal = 3077309975 [1](13)[3](7 5 11)[1](8)[1](0)[1](1)[1](14)[1](12)[1](2)[1](9)[1](10)[3](4 3 6)